Index
764
573-74, 579-81; receives presents and enter
tains guests, 275-84, 311-36; subjunctive
afternoon chez, 633-40; Theme of, 729,
732. 740, 742; vs. Tortoise, 75-78, 406,
493-88,540, 543 Crab Canon (Bach), 202-
3, 666 Crab Canon (Dialogue), 204, 355-
56, 665-69, 672, 723-25, 738
Crab Canon (Escher), 198-99, 667
crab canons, 9, 198-203, 204, 355, 501.
665-69; in DNA, 200-1
crab programs, 500-1
creativity, mechanizability of. 25, 26, 571,
620, 673; see also originality, paradox of
Al, non programmability, etc.
Crick, Francs, 505, 532, 533, 534, 617
Crime and Punishment i'Dostoevskvl, 379-
80 Cristofori, Bartolommeo, 3 critical
mass, 228, 317, 389, 417, 470 crossing-
over, 665-68 crystal in magnetic field, 140-
43 crystallization metaphor, 347 C"f-
Thesis, see Church-Turing Thesis Cube
with Magic Ribbons (Escher), 281-82
cursively drawable figures, 67-68, 72
cytoplasm, 517, 518, 522-24 cytosine, see
nucleotides
da Vinci, Leonardo, 641
Dali, Salvador, 700
Dase, Johann Martin Zacharias, 567 data
base, 618 daughter programs, 503, 546
David, Hans Theodore, 3, 28, 719 Day and
Night (Escher), 252, 255, 667 Dboups,
Hfpsh, 515, 533 De Chirico, Giorgio, 700
De Morgan, Augustus, 20, 404, 600
decidable strings, 417 decimal system, 262-
64, 269
decipherment of texts, 50, 164-65, 173-74,
583 decision procedures: for alienness,
487-88, 540-41; for axiomhood, 41, 48,
470; for beauty, 552-58, 560, 579, 581-82,
583-84; as BlooP puzzles, 415-17; for
Buddha-nature, 234, 239, 272; defined, 39-
41; for Diophantine equations, 559-60; for
dreamable themes, 384; for end of
Dialogue, 402-3; for genuineness of koans,
234, 239; for Goldbach property, 400, 414;
for Granny, 344-45, 347-48; for halting,
425-29; for intelligence, see Turing test; for
Mozart pieces, 649; no guarantee of
existence of, 72; for number-theoretic
truths, 228-29, 426, 551-58, 560. 573-74,
579-81; for primality, 64, 149, 413; for
proof-pair-ness, 416, 439-41; for sameness,
146-49, 158-59; for sorting numbers into
two classes, see Church-Turing Thesis; for
termination, 425-29; for "the Way" in Zen,
250-51, 253, 254; for theoremhood, 39-41,
47-49, 72-73, 190-91, 408, 416, 560, 579-
80, 582; for theorem-numbers, 440-41,
580; topdown vs. bottom-up, 48-49; for
Tortoise-pairness, 441; for Tortoise
property, 396-97, 415, 441; for truth, 213,
228-29, 417, 552-58, 560-61, 579, 581; for
validity of derivations, 194, 416, 439-41,
470; for well-formedness, 182, 269, 416,
582; for wondrousness, 402, 425
d coding: of DNA, 159-62, 175-76, 201,
231, 531-32, 538; of formal systems, 50-
51, 54; of fortune, 154; via Gtidel
isomorphism, 267; of nature. 409; of
records, 154-57, 158-59,
161-64, 172, 174-75; as revelation, 160-61;
of Russian text, 380; see also
isomorphisms, translation, information,
chunking
decoding mechanisms: complexity of, 158-
62, 172-76, 582-84; innate, 170-71; nature
of, 158-76; record players as, 83, 154-57;
transparency of, 267, 501; for Tripitaka,
257; see also isomorphisms, etc.
L)eduction Theorem, 186
default options, 352-53, 386, 411, 645, 674
defects and expectations, 77, 86, 102, 222,
476 demidoublets, 633-34, 669
demons, 663-64 deoxyribonucleic acid, see
DNA derivations: alleged, 439-40; defined,
35-36: fallacious, 220, 439; in MIU-
system, 35-36, 262, 264, 439; in
Propositional Calculus, 184, 185, 188, 189-
90, 196; supernatural, 454-55; in
TNT, 217, 218, 219, 224-27, 269; in tq-
system,